#include<stdio.h>

int main()
{
    int n, x;
    scanf("%d", &n);
    for(int i = 1; i <= n; i ++)
    {
        scanf("%*6d%5d", &x);
        printf("6%05d\n", x);//要加0
    }
    return 0;
}